Mirage of Mastery: Memorization Tricks LLMs into Artificially Inflated Self-Knowledge
arxiv.org·10h
🧠Intelligence Compression
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·5h·
Discuss: Hacker News
🌀Brotli Internals
Proving that every program halts
ntietz.com·2d
👑Isabelle
In the Wild: Malware Prototype with Embedded Prompt Injection
research.checkpoint.com·2h
🦠Malware Analysis
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·1d
🌳Archive Merkle Trees
LFCS Seminar Friday 27th June: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·14h
🧮Prolog Parsing
Counting with Categories (Part 3)
golem.ph.utexas.edu·22h
λLambda Formalization
I Built My Own Programming Language and its Virtual Machine In Python!
dev.to·18h·
Discuss: DEV
🔗Concatenative Programming
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.com·2h·
Discuss: Hacker News
🔗Constraint Handling
Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.io·32m
📊Graph Databases
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
DSA Fundamentals #1: A Practical Guide to Propositional Logic
beyondit.blog·5d
🔬Logic in Computer Science
Practical tips to optimize documentation for LLMs, AI agents, and chatbots
biel.ai·19h·
Discuss: Hacker News
🤖Archive Automation
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·10h
🔗Topological Sorting
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·22h·
Discuss: Hacker News
💻Local LLMs
Agentic AI: Implementing Long-Term Memory
towardsdatascience.com·18h
💾Persistence Strategies
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·4h·
Discuss: Hacker News, r/programming
🔗Lisp
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.org·1d
💻Local LLMs
Gen AI & Langchain Master Class
dev.to·23h·
Discuss: DEV
🎙️Whisper